﻿//*** Guidance generated code ***//
using System;
using System.Collections.Generic;
using System.Diagnostics.Contracts;
using System.Linq;
using System.Web.Mvc;

namespace ProjectBase.Core.Diagnostics
{
    [ContractClassFor(typeof(IFacade))]
    internal abstract class Facade : IFacade
    {
        public IObjectBinder Binder
        {
            set
            {
                Contract.Requires(value.Is(), "Facade, property Binder cannot be set to null");
                throw new NotImplementedException();
            }
        }

        #region IMessagesHolder Members

        public Messages Messages
        {
            get
            {
                throw new NotImplementedException();
            }
            set
            {
                throw new NotImplementedException();
            }
        }

        #endregion
    }
}
